(define (foo z)
  (let* ((x 1))
    (if #t
        (let* ((y 2))
          (+ y (+ x z)))
        (+ z (+ x 1)))))
(define t1 (print (foo 3)))
